In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine.
最后,用Plotkin风格的结构操作语义SOS(structural operational semantics)规则归纳地给出满足组合性的UML状态机语义。
The above examples demonstrate the compositional semantics of CSP& namely how the Parallel construct can be used to compose layered networks from fine-grained stateless components.
以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。
简答网 · 双语娱乐资讯
简答网 · 中考英语
简答网 · 高考英语